1. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده : Gallier, Jean H.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
2. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده : Gallier, Jean H
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
1986
